Ryan Williams

Results: 63



#Item
11Technical Evaluation NMR Prediction Accuracy Validation ACD/CNMR Predictor VersionKirill Blinov, Mikhail Kvasha, Brent Lefebvre, Ryan Sasaki and Antony Williams Advanced Chemistry Development, Inc.

Technical Evaluation NMR Prediction Accuracy Validation ACD/CNMR Predictor VersionKirill Blinov, Mikhail Kvasha, Brent Lefebvre, Ryan Sasaki and Antony Williams Advanced Chemistry Development, Inc.

Add to Reading List

Source URL: acdlabs.typepad.com

Language: English - Date: 2008-06-08 15:33:53
    12Finding a path of length k in O∗(2k ) time arXiv:0807.3026v3 [cs.DS] 9 Nov 2008 Ryan Williams∗ Carnegie Mellon University

    Finding a path of length k in O∗(2k ) time arXiv:0807.3026v3 [cs.DS] 9 Nov 2008 Ryan Williams∗ Carnegie Mellon University

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2008-11-08 20:04:23
    13On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams†

    On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Florham Park, NJ Ryan Williams†

    Add to Reading List

    Source URL: www.stanford.edu

    Language: English - Date: 2009-11-12 23:47:30
    14A Casual Tour Around a Circuit Complexity Bound∗ arXiv:1111.1261v1 [cs.CC] 4 Nov 2011 Ryan Williams†

    A Casual Tour Around a Circuit Complexity Bound∗ arXiv:1111.1261v1 [cs.CC] 4 Nov 2011 Ryan Williams†

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2011-11-07 20:15:16
    15Richard Ryan Williams Computer Science Department Stanford University, Stanford, CAEmail: EDUCATION

    Richard Ryan Williams Computer Science Department Stanford University, Stanford, CAEmail: EDUCATION

    Add to Reading List

    Source URL: web.stanford.edu

    Language: English - Date: 2014-09-18 23:56:44
    16400XTi Nextant_400XTi_brochure_US_Letter_V6.indd 1 1

    400XTi Nextant_400XTi_brochure_US_Letter_V6.indd 1 1

    Add to Reading List

    Source URL: www.nextantpacific.com

    Language: English - Date: 2014-03-06 05:42:31
    17Subcubic Equivalences Between Path, Matrix, and Triangle Problems∗ Virginia Vassilevska Williams† Ryan Williams‡

    Subcubic Equivalences Between Path, Matrix, and Triangle Problems∗ Virginia Vassilevska Williams† Ryan Williams‡

    Add to Reading List

    Source URL: www.stanford.edu

    Language: English - Date: 2010-07-02 00:47:48
    18Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas Ryan Williams∗ Carnegie Mellon University Abstract

    Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas Ryan Williams∗ Carnegie Mellon University Abstract

    Add to Reading List

    Source URL: www.stanford.edu

    Language: English - Date: 2008-04-30 19:50:48
    19Topology-Constrained Flocking in Locally Interacting Mobile Networks Ryan K. Williams and Gaurav S. Sukhatme Abstract— In this paper, we consider the problem of controlling a network of locally interacting mobile agent

    Topology-Constrained Flocking in Locally Interacting Mobile Networks Ryan K. Williams and Gaurav S. Sukhatme Abstract— In this paper, we consider the problem of controlling a network of locally interacting mobile agent

    Add to Reading List

    Source URL: robotics.usc.edu

    Language: English - Date: 2013-07-31 12:47:07
    20Distributed Combinatorial Rigidity Control in Multi-Agent Networks Ryan K. Williams, Andrea Gasparri, Attilio Priolo and Gaurav S. Sukhatme Abstract— In this paper, we propose a distributed control law to maintain the

    Distributed Combinatorial Rigidity Control in Multi-Agent Networks Ryan K. Williams, Andrea Gasparri, Attilio Priolo and Gaurav S. Sukhatme Abstract— In this paper, we propose a distributed control law to maintain the

    Add to Reading List

    Source URL: robotics.usc.edu

    Language: English - Date: 2014-04-15 18:18:22